logic specification

逻辑规格说明